The Resources Of Yahya Kemal’s Poem

the direction of Professor Yahya Fathi.)

KULKARNI, GIRISH. A Tabu Search Algorithm for the Steiner Tree Problem. (Under the direction of Professor Yahya Fathi.) The Steiner Tree problem in graphs is an NP-hard problem having applications in many areas including telecommunication, distribution and transportation systems. We survey, briefly, a few exact methods and a few heuristic approaches that have been proposed for solving this prob...

The Implementation of Mazurkiewicz Traces in POEM

We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to store trace systems, which allows sharing common prefixes among traces and therefore, reduces memory cost. This structure is easy to extend to incorporate additional features. Two applications are shown in the paper: An ...

Life: A Poem

the effect of taftan pozzolan on the compressive strength of concrete in the environmental conditions of oman sea (chabahar port)

cement is an essential ingredient in the concrete buildings. for production of cement considerable amount of fossil fuel and electrical energy is consumed. on the other hand for generating one tone of portland cement, nearly one ton of carbon dioxide is released. it shows that 7 percent of the total released carbon dioxide in the world relates to the cement industry. considering ecological issu...

Double-Scope Peroral Endoscopic Myotomy (POEM) for Esophageal Achalasia: The First Trial of a New Double-Scope POEM

With the accumulation of clinical trials demonstrating its efficacy and safety, peroral endoscopic myotomy (POEM) has emerged as a less invasive treatment option for esophageal achalasia compared with laparoscopic Heller myotomy. However, the difficulty in determining the exact extent of myotomy, a critical factor associated with the success and safety of the procedure, remains a limitation. Al...